3.7.44 \(\int \frac {1}{(d f+e f x)^3 (a+b (d+e x)^2+c (d+e x)^4)} \, dx\) [644]

3.7.44.1 Optimal result
3.7.44.2 Mathematica [A] (verified)
3.7.44.3 Rubi [A] (verified)
3.7.44.4 Maple [C] (verified)
3.7.44.5 Fricas [B] (verification not implemented)
3.7.44.6 Sympy [F(-1)]
3.7.44.7 Maxima [F]
3.7.44.8 Giac [B] (verification not implemented)
3.7.44.9 Mupad [B] (verification not implemented)

3.7.44.1 Optimal result

Integrand size = 33, antiderivative size = 133 \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=-\frac {1}{2 a e f^3 (d+e x)^2}-\frac {\left (b^2-2 a c\right ) \text {arctanh}\left (\frac {b+2 c (d+e x)^2}{\sqrt {b^2-4 a c}}\right )}{2 a^2 \sqrt {b^2-4 a c} e f^3}-\frac {b \log (d+e x)}{a^2 e f^3}+\frac {b \log \left (a+b (d+e x)^2+c (d+e x)^4\right )}{4 a^2 e f^3} \]

output
-1/2/a/e/f^3/(e*x+d)^2-b*ln(e*x+d)/a^2/e/f^3+1/4*b*ln(a+b*(e*x+d)^2+c*(e*x 
+d)^4)/a^2/e/f^3-1/2*(-2*a*c+b^2)*arctanh((b+2*c*(e*x+d)^2)/(-4*a*c+b^2)^( 
1/2))/a^2/e/f^3/(-4*a*c+b^2)^(1/2)
 
3.7.44.2 Mathematica [A] (verified)

Time = 0.09 (sec) , antiderivative size = 157, normalized size of antiderivative = 1.18 \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\frac {-\frac {2 a}{(d+e x)^2}-4 b \log (d+e x)+\frac {\left (b^2-2 a c+b \sqrt {b^2-4 a c}\right ) \log \left (b-\sqrt {b^2-4 a c}+2 c (d+e x)^2\right )}{\sqrt {b^2-4 a c}}+\frac {\left (-b^2+2 a c+b \sqrt {b^2-4 a c}\right ) \log \left (b+\sqrt {b^2-4 a c}+2 c (d+e x)^2\right )}{\sqrt {b^2-4 a c}}}{4 a^2 e f^3} \]

input
Integrate[1/((d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)),x]
 
output
((-2*a)/(d + e*x)^2 - 4*b*Log[d + e*x] + ((b^2 - 2*a*c + b*Sqrt[b^2 - 4*a* 
c])*Log[b - Sqrt[b^2 - 4*a*c] + 2*c*(d + e*x)^2])/Sqrt[b^2 - 4*a*c] + ((-b 
^2 + 2*a*c + b*Sqrt[b^2 - 4*a*c])*Log[b + Sqrt[b^2 - 4*a*c] + 2*c*(d + e*x 
)^2])/Sqrt[b^2 - 4*a*c])/(4*a^2*e*f^3)
 
3.7.44.3 Rubi [A] (verified)

Time = 0.33 (sec) , antiderivative size = 121, normalized size of antiderivative = 0.91, number of steps used = 7, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {1462, 1434, 1145, 25, 1200, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx\)

\(\Big \downarrow \) 1462

\(\displaystyle \frac {\int \frac {1}{(d+e x)^3 \left (c (d+e x)^4+b (d+e x)^2+a\right )}d(d+e x)}{e f^3}\)

\(\Big \downarrow \) 1434

\(\displaystyle \frac {\int \frac {1}{(d+e x)^4 \left (c (d+e x)^4+b (d+e x)^2+a\right )}d(d+e x)^2}{2 e f^3}\)

\(\Big \downarrow \) 1145

\(\displaystyle \frac {\frac {\int -\frac {c (d+e x)^2+b}{(d+e x)^2 \left (c (d+e x)^4+b (d+e x)^2+a\right )}d(d+e x)^2}{a}-\frac {1}{a (d+e x)^2}}{2 e f^3}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {-\frac {\int \frac {c (d+e x)^2+b}{(d+e x)^2 \left (c (d+e x)^4+b (d+e x)^2+a\right )}d(d+e x)^2}{a}-\frac {1}{a (d+e x)^2}}{2 e f^3}\)

\(\Big \downarrow \) 1200

\(\displaystyle \frac {-\frac {\int \left (\frac {b}{a (d+e x)^2}+\frac {-b^2-c (d+e x)^2 b+a c}{a \left (c (d+e x)^4+b (d+e x)^2+a\right )}\right )d(d+e x)^2}{a}-\frac {1}{a (d+e x)^2}}{2 e f^3}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {-\frac {\frac {\left (b^2-2 a c\right ) \text {arctanh}\left (\frac {b+2 c (d+e x)^2}{\sqrt {b^2-4 a c}}\right )}{a \sqrt {b^2-4 a c}}-\frac {b \log \left (a+b (d+e x)^2+c (d+e x)^4\right )}{2 a}+\frac {b \log \left ((d+e x)^2\right )}{a}}{a}-\frac {1}{a (d+e x)^2}}{2 e f^3}\)

input
Int[1/((d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)),x]
 
output
(-(1/(a*(d + e*x)^2)) - (((b^2 - 2*a*c)*ArcTanh[(b + 2*c*(d + e*x)^2)/Sqrt 
[b^2 - 4*a*c]])/(a*Sqrt[b^2 - 4*a*c]) + (b*Log[(d + e*x)^2])/a - (b*Log[a 
+ b*(d + e*x)^2 + c*(d + e*x)^4])/(2*a))/a)/(2*e*f^3)
 

3.7.44.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 1145
Int[((d_.) + (e_.)*(x_))^(m_)/((a_) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] 
 :> Simp[e*((d + e*x)^(m + 1)/((m + 1)*(c*d^2 - b*d*e + a*e^2))), x] + Simp 
[1/(c*d^2 - b*d*e + a*e^2)   Int[(d + e*x)^(m + 1)*(Simp[c*d - b*e - c*e*x, 
 x]/(a + b*x + c*x^2)), x], x] /; FreeQ[{a, b, c, d, e}, x] && ILtQ[m, -1]
 

rule 1200
Int[(((d_.) + (e_.)*(x_))^(m_.)*((f_.) + (g_.)*(x_))^(n_.))/((a_.) + (b_.)* 
(x_) + (c_.)*(x_)^2), x_Symbol] :> Int[ExpandIntegrand[(d + e*x)^m*((f + g* 
x)^n/(a + b*x + c*x^2)), x], x] /; FreeQ[{a, b, c, d, e, f, g, m}, x] && In 
tegersQ[n]
 

rule 1434
Int[(x_)^(m_)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Simp 
[1/2   Subst[Int[x^((m - 1)/2)*(a + b*x + c*x^2)^p, x], x, x^2], x] /; Free 
Q[{a, b, c, p}, x] && IntegerQ[(m - 1)/2]
 

rule 1462
Int[(u_)^(m_.)*((a_.) + (b_.)*(v_)^2 + (c_.)*(v_)^4)^(p_.), x_Symbol] :> Si 
mp[u^m/(Coefficient[v, x, 1]*v^m)   Subst[Int[x^m*(a + b*x^2 + c*x^(2*2))^p 
, x], x, v], x] /; FreeQ[{a, b, c, m, p}, x] && LinearPairQ[u, v, x]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 
3.7.44.4 Maple [C] (verified)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 0.67 (sec) , antiderivative size = 217, normalized size of antiderivative = 1.63

method result size
default \(\frac {\frac {\munderset {\textit {\_R} =\operatorname {RootOf}\left (c \,e^{4} \textit {\_Z}^{4}+4 c d \,e^{3} \textit {\_Z}^{3}+\left (6 c \,d^{2} e^{2}+b \,e^{2}\right ) \textit {\_Z}^{2}+\left (4 d^{3} e c +2 b d e \right ) \textit {\_Z} +d^{4} c +b \,d^{2}+a \right )}{\sum }\frac {\left (b c \,e^{3} \textit {\_R}^{3}+3 b c d \,e^{2} \textit {\_R}^{2}+e \left (3 b c \,d^{2}-a c +b^{2}\right ) \textit {\_R} +b c \,d^{3}-a c d +b^{2} d \right ) \ln \left (x -\textit {\_R} \right )}{2 e^{3} c \,\textit {\_R}^{3}+6 c d \,e^{2} \textit {\_R}^{2}+6 c \,d^{2} e \textit {\_R} +2 d^{3} c +b e \textit {\_R} +b d}}{2 a^{2} e}-\frac {1}{2 a e \left (e x +d \right )^{2}}-\frac {b \ln \left (e x +d \right )}{a^{2} e}}{f^{3}}\) \(217\)
risch \(-\frac {1}{2 a e \,f^{3} \left (e x +d \right )^{2}}-\frac {b \ln \left (e x +d \right )}{a^{2} e \,f^{3}}+\frac {\left (\munderset {\textit {\_R} =\operatorname {RootOf}\left (\left (4 a^{3} c \,e^{2} f^{6}-a^{2} b^{2} e^{2} f^{6}\right ) \textit {\_Z}^{2}+\left (-4 a b c e \,f^{3}+b^{3} e \,f^{3}\right ) \textit {\_Z} +c^{2}\right )}{\sum }\textit {\_R} \ln \left (\left (\left (10 a^{3} c \,e^{4} f^{6}-3 a^{2} b^{2} e^{4} f^{6}\right ) \textit {\_R}^{2}-4 a b c \,e^{3} f^{3} \textit {\_R} +2 e^{2} c^{2}\right ) x^{2}+\left (\left (20 a^{3} c d \,e^{3} f^{6}-6 a^{2} b^{2} d \,e^{3} f^{6}\right ) \textit {\_R}^{2}-8 a b c d \,e^{2} f^{3} \textit {\_R} +4 c^{2} d e \right ) x +\left (10 a^{3} c \,d^{2} e^{2} f^{6}-3 a^{2} b^{2} d^{2} e^{2} f^{6}-a^{3} b \,e^{2} f^{6}\right ) \textit {\_R}^{2}+\left (-4 a b c \,d^{2} e \,f^{3}+a^{2} c e \,f^{3}-2 a \,b^{2} e \,f^{3}\right ) \textit {\_R} +2 c^{2} d^{2}+2 b c \right )\right )}{2}\) \(310\)

input
int(1/(e*f*x+d*f)^3/(a+b*(e*x+d)^2+c*(e*x+d)^4),x,method=_RETURNVERBOSE)
 
output
1/f^3*(1/2/a^2/e*sum((b*c*e^3*_R^3+3*b*c*d*e^2*_R^2+e*(3*b*c*d^2-a*c+b^2)* 
_R+b*c*d^3-a*c*d+b^2*d)/(2*_R^3*c*e^3+6*_R^2*c*d*e^2+6*_R*c*d^2*e+2*c*d^3+ 
_R*b*e+b*d)*ln(x-_R),_R=RootOf(c*e^4*_Z^4+4*c*d*e^3*_Z^3+(6*c*d^2*e^2+b*e^ 
2)*_Z^2+(4*c*d^3*e+2*b*d*e)*_Z+d^4*c+b*d^2+a))-1/2/a/e/(e*x+d)^2-b*ln(e*x+ 
d)/a^2/e)
 
3.7.44.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 349 vs. \(2 (123) = 246\).

Time = 0.38 (sec) , antiderivative size = 828, normalized size of antiderivative = 6.23 \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\left [-\frac {2 \, a b^{2} - 8 \, a^{2} c + {\left ({\left (b^{2} - 2 \, a c\right )} e^{2} x^{2} + 2 \, {\left (b^{2} - 2 \, a c\right )} d e x + {\left (b^{2} - 2 \, a c\right )} d^{2}\right )} \sqrt {b^{2} - 4 \, a c} \log \left (\frac {2 \, c^{2} e^{4} x^{4} + 8 \, c^{2} d e^{3} x^{3} + 2 \, c^{2} d^{4} + 2 \, {\left (6 \, c^{2} d^{2} + b c\right )} e^{2} x^{2} + 2 \, b c d^{2} + 4 \, {\left (2 \, c^{2} d^{3} + b c d\right )} e x + b^{2} - 2 \, a c + {\left (2 \, c e^{2} x^{2} + 4 \, c d e x + 2 \, c d^{2} + b\right )} \sqrt {b^{2} - 4 \, a c}}{c e^{4} x^{4} + 4 \, c d e^{3} x^{3} + c d^{4} + {\left (6 \, c d^{2} + b\right )} e^{2} x^{2} + b d^{2} + 2 \, {\left (2 \, c d^{3} + b d\right )} e x + a}\right ) - {\left ({\left (b^{3} - 4 \, a b c\right )} e^{2} x^{2} + 2 \, {\left (b^{3} - 4 \, a b c\right )} d e x + {\left (b^{3} - 4 \, a b c\right )} d^{2}\right )} \log \left (c e^{4} x^{4} + 4 \, c d e^{3} x^{3} + c d^{4} + {\left (6 \, c d^{2} + b\right )} e^{2} x^{2} + b d^{2} + 2 \, {\left (2 \, c d^{3} + b d\right )} e x + a\right ) + 4 \, {\left ({\left (b^{3} - 4 \, a b c\right )} e^{2} x^{2} + 2 \, {\left (b^{3} - 4 \, a b c\right )} d e x + {\left (b^{3} - 4 \, a b c\right )} d^{2}\right )} \log \left (e x + d\right )}{4 \, {\left ({\left (a^{2} b^{2} - 4 \, a^{3} c\right )} e^{3} f^{3} x^{2} + 2 \, {\left (a^{2} b^{2} - 4 \, a^{3} c\right )} d e^{2} f^{3} x + {\left (a^{2} b^{2} - 4 \, a^{3} c\right )} d^{2} e f^{3}\right )}}, -\frac {2 \, a b^{2} - 8 \, a^{2} c + 2 \, {\left ({\left (b^{2} - 2 \, a c\right )} e^{2} x^{2} + 2 \, {\left (b^{2} - 2 \, a c\right )} d e x + {\left (b^{2} - 2 \, a c\right )} d^{2}\right )} \sqrt {-b^{2} + 4 \, a c} \arctan \left (-\frac {{\left (2 \, c e^{2} x^{2} + 4 \, c d e x + 2 \, c d^{2} + b\right )} \sqrt {-b^{2} + 4 \, a c}}{b^{2} - 4 \, a c}\right ) - {\left ({\left (b^{3} - 4 \, a b c\right )} e^{2} x^{2} + 2 \, {\left (b^{3} - 4 \, a b c\right )} d e x + {\left (b^{3} - 4 \, a b c\right )} d^{2}\right )} \log \left (c e^{4} x^{4} + 4 \, c d e^{3} x^{3} + c d^{4} + {\left (6 \, c d^{2} + b\right )} e^{2} x^{2} + b d^{2} + 2 \, {\left (2 \, c d^{3} + b d\right )} e x + a\right ) + 4 \, {\left ({\left (b^{3} - 4 \, a b c\right )} e^{2} x^{2} + 2 \, {\left (b^{3} - 4 \, a b c\right )} d e x + {\left (b^{3} - 4 \, a b c\right )} d^{2}\right )} \log \left (e x + d\right )}{4 \, {\left ({\left (a^{2} b^{2} - 4 \, a^{3} c\right )} e^{3} f^{3} x^{2} + 2 \, {\left (a^{2} b^{2} - 4 \, a^{3} c\right )} d e^{2} f^{3} x + {\left (a^{2} b^{2} - 4 \, a^{3} c\right )} d^{2} e f^{3}\right )}}\right ] \]

input
integrate(1/(e*f*x+d*f)^3/(a+b*(e*x+d)^2+c*(e*x+d)^4),x, algorithm="fricas 
")
 
output
[-1/4*(2*a*b^2 - 8*a^2*c + ((b^2 - 2*a*c)*e^2*x^2 + 2*(b^2 - 2*a*c)*d*e*x 
+ (b^2 - 2*a*c)*d^2)*sqrt(b^2 - 4*a*c)*log((2*c^2*e^4*x^4 + 8*c^2*d*e^3*x^ 
3 + 2*c^2*d^4 + 2*(6*c^2*d^2 + b*c)*e^2*x^2 + 2*b*c*d^2 + 4*(2*c^2*d^3 + b 
*c*d)*e*x + b^2 - 2*a*c + (2*c*e^2*x^2 + 4*c*d*e*x + 2*c*d^2 + b)*sqrt(b^2 
 - 4*a*c))/(c*e^4*x^4 + 4*c*d*e^3*x^3 + c*d^4 + (6*c*d^2 + b)*e^2*x^2 + b* 
d^2 + 2*(2*c*d^3 + b*d)*e*x + a)) - ((b^3 - 4*a*b*c)*e^2*x^2 + 2*(b^3 - 4* 
a*b*c)*d*e*x + (b^3 - 4*a*b*c)*d^2)*log(c*e^4*x^4 + 4*c*d*e^3*x^3 + c*d^4 
+ (6*c*d^2 + b)*e^2*x^2 + b*d^2 + 2*(2*c*d^3 + b*d)*e*x + a) + 4*((b^3 - 4 
*a*b*c)*e^2*x^2 + 2*(b^3 - 4*a*b*c)*d*e*x + (b^3 - 4*a*b*c)*d^2)*log(e*x + 
 d))/((a^2*b^2 - 4*a^3*c)*e^3*f^3*x^2 + 2*(a^2*b^2 - 4*a^3*c)*d*e^2*f^3*x 
+ (a^2*b^2 - 4*a^3*c)*d^2*e*f^3), -1/4*(2*a*b^2 - 8*a^2*c + 2*((b^2 - 2*a* 
c)*e^2*x^2 + 2*(b^2 - 2*a*c)*d*e*x + (b^2 - 2*a*c)*d^2)*sqrt(-b^2 + 4*a*c) 
*arctan(-(2*c*e^2*x^2 + 4*c*d*e*x + 2*c*d^2 + b)*sqrt(-b^2 + 4*a*c)/(b^2 - 
 4*a*c)) - ((b^3 - 4*a*b*c)*e^2*x^2 + 2*(b^3 - 4*a*b*c)*d*e*x + (b^3 - 4*a 
*b*c)*d^2)*log(c*e^4*x^4 + 4*c*d*e^3*x^3 + c*d^4 + (6*c*d^2 + b)*e^2*x^2 + 
 b*d^2 + 2*(2*c*d^3 + b*d)*e*x + a) + 4*((b^3 - 4*a*b*c)*e^2*x^2 + 2*(b^3 
- 4*a*b*c)*d*e*x + (b^3 - 4*a*b*c)*d^2)*log(e*x + d))/((a^2*b^2 - 4*a^3*c) 
*e^3*f^3*x^2 + 2*(a^2*b^2 - 4*a^3*c)*d*e^2*f^3*x + (a^2*b^2 - 4*a^3*c)*d^2 
*e*f^3)]
 
3.7.44.6 Sympy [F(-1)]

Timed out. \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\text {Timed out} \]

input
integrate(1/(e*f*x+d*f)**3/(a+b*(e*x+d)**2+c*(e*x+d)**4),x)
 
output
Timed out
 
3.7.44.7 Maxima [F]

\[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\int { \frac {1}{{\left ({\left (e x + d\right )}^{4} c + {\left (e x + d\right )}^{2} b + a\right )} {\left (e f x + d f\right )}^{3}} \,d x } \]

input
integrate(1/(e*f*x+d*f)^3/(a+b*(e*x+d)^2+c*(e*x+d)^4),x, algorithm="maxima 
")
 
output
-1/2/(a*e^3*f^3*x^2 + 2*a*d*e^2*f^3*x + a*d^2*e*f^3) + integrate((b*c*e^3* 
x^3 + 3*b*c*d*e^2*x^2 + b*c*d^3 + (3*b*c*d^2 + b^2 - a*c)*e*x + (b^2 - a*c 
)*d)/(c*e^4*x^4 + 4*c*d*e^3*x^3 + c*d^4 + (6*c*d^2 + b)*e^2*x^2 + b*d^2 + 
2*(2*c*d^3 + b*d)*e*x + a), x)/(a^2*f^3) - b*log(e*x + d)/(a^2*e*f^3)
 
3.7.44.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 356 vs. \(2 (123) = 246\).

Time = 0.41 (sec) , antiderivative size = 356, normalized size of antiderivative = 2.68 \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\frac {b \log \left ({\left | c e^{4} x^{4} + 4 \, c d e^{3} x^{3} + 6 \, c d^{2} e^{2} x^{2} + 4 \, c d^{3} e x + c d^{4} + b e^{2} x^{2} + 2 \, b d e x + b d^{2} + a \right |}\right )}{4 \, a^{2} e f^{3}} - \frac {b \log \left ({\left | e x + d \right |}\right )}{a^{2} e f^{3}} - \frac {1}{2 \, {\left (e x + d\right )}^{2} a e f^{3}} + \frac {\frac {{\left (a^{2} b^{2} c e^{3} f^{3} - 2 \, a^{3} c^{2} e^{3} f^{3}\right )} \log \left ({\left | b e^{2} x^{2} + \sqrt {b^{2} - 4 \, a c} e^{2} x^{2} + 2 \, b d e x + 2 \, \sqrt {b^{2} - 4 \, a c} d e x + b d^{2} + \sqrt {b^{2} - 4 \, a c} d^{2} + 2 \, a \right |}\right )}{\sqrt {b^{2} - 4 \, a c}} - \frac {{\left (a^{2} b^{2} c e^{3} f^{3} - 2 \, a^{3} c^{2} e^{3} f^{3}\right )} \log \left ({\left | -b e^{2} x^{2} + \sqrt {b^{2} - 4 \, a c} e^{2} x^{2} - 2 \, b d e x + 2 \, \sqrt {b^{2} - 4 \, a c} d e x - b d^{2} + \sqrt {b^{2} - 4 \, a c} d^{2} - 2 \, a \right |}\right )}{\sqrt {b^{2} - 4 \, a c}}}{4 \, a^{4} c e^{4} f^{6}} \]

input
integrate(1/(e*f*x+d*f)^3/(a+b*(e*x+d)^2+c*(e*x+d)^4),x, algorithm="giac")
 
output
1/4*b*log(abs(c*e^4*x^4 + 4*c*d*e^3*x^3 + 6*c*d^2*e^2*x^2 + 4*c*d^3*e*x + 
c*d^4 + b*e^2*x^2 + 2*b*d*e*x + b*d^2 + a))/(a^2*e*f^3) - b*log(abs(e*x + 
d))/(a^2*e*f^3) - 1/2/((e*x + d)^2*a*e*f^3) + 1/4*((a^2*b^2*c*e^3*f^3 - 2* 
a^3*c^2*e^3*f^3)*log(abs(b*e^2*x^2 + sqrt(b^2 - 4*a*c)*e^2*x^2 + 2*b*d*e*x 
 + 2*sqrt(b^2 - 4*a*c)*d*e*x + b*d^2 + sqrt(b^2 - 4*a*c)*d^2 + 2*a))/sqrt( 
b^2 - 4*a*c) - (a^2*b^2*c*e^3*f^3 - 2*a^3*c^2*e^3*f^3)*log(abs(-b*e^2*x^2 
+ sqrt(b^2 - 4*a*c)*e^2*x^2 - 2*b*d*e*x + 2*sqrt(b^2 - 4*a*c)*d*e*x - b*d^ 
2 + sqrt(b^2 - 4*a*c)*d^2 - 2*a))/sqrt(b^2 - 4*a*c))/(a^4*c*e^4*f^6)
 
3.7.44.9 Mupad [B] (verification not implemented)

Time = 12.00 (sec) , antiderivative size = 5947, normalized size of antiderivative = 44.71 \[ \int \frac {1}{(d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )} \, dx=\text {Too large to display} \]

input
int(1/((d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)),x)
 
output
(atan((16*a^6*f^9*x*(((3*b^4 + a^2*c^2 - 9*a*b^2*c)*(((((2*b^3*e*f^3 - 8*a 
*b*c*e*f^3)*((2*(20*a^3*c^4*d*e^17*f^6 + 2*a^2*b^2*c^3*d*e^17*f^6))/(a^3*f 
^9) + ((40*a^4*b*c^3*d*e^18*f^9 - 12*a^3*b^3*c^2*d*e^18*f^9)*(2*b^3*e*f^3 
- 8*a*b*c*e*f^3))/(a^3*f^9*(16*a^3*c*e^2*f^6 - 4*a^2*b^2*e^2*f^6))))/(2*(1 
6*a^3*c*e^2*f^6 - 4*a^2*b^2*e^2*f^6)) + (12*b*c^4*d*e^16)/(a^2*f^6))*(2*b^ 
3*e*f^3 - 8*a*b*c*e*f^3))/(2*(16*a^3*c*e^2*f^6 - 4*a^2*b^2*e^2*f^6)) + (2* 
c^5*d*e^15)/(a^3*f^9) - (((((2*(20*a^3*c^4*d*e^17*f^6 + 2*a^2*b^2*c^3*d*e^ 
17*f^6))/(a^3*f^9) + ((40*a^4*b*c^3*d*e^18*f^9 - 12*a^3*b^3*c^2*d*e^18*f^9 
)*(2*b^3*e*f^3 - 8*a*b*c*e*f^3))/(a^3*f^9*(16*a^3*c*e^2*f^6 - 4*a^2*b^2*e^ 
2*f^6)))*(2*a*c - b^2))/(4*a^2*e*f^3*(4*a*c - b^2)^(1/2)) + ((40*a^4*b*c^3 
*d*e^18*f^9 - 12*a^3*b^3*c^2*d*e^18*f^9)*(2*b^3*e*f^3 - 8*a*b*c*e*f^3)*(2* 
a*c - b^2))/(4*a^5*e*f^12*(4*a*c - b^2)^(1/2)*(16*a^3*c*e^2*f^6 - 4*a^2*b^ 
2*e^2*f^6)))*(2*a*c - b^2))/(4*a^2*e*f^3*(4*a*c - b^2)^(1/2)) - ((40*a^4*b 
*c^3*d*e^18*f^9 - 12*a^3*b^3*c^2*d*e^18*f^9)*(2*b^3*e*f^3 - 8*a*b*c*e*f^3) 
*(2*a*c - b^2)^2)/(16*a^7*e^2*f^15*(4*a*c - b^2)*(16*a^3*c*e^2*f^6 - 4*a^2 
*b^2*e^2*f^6))))/(8*a^3*c^2*(a^2*c^2 - 6*b^4 + 24*a*b^2*c)) + ((3*b^5 + 13 
*a^2*b*c^2 - 15*a*b^3*c)*((((((2*(20*a^3*c^4*d*e^17*f^6 + 2*a^2*b^2*c^3*d* 
e^17*f^6))/(a^3*f^9) + ((40*a^4*b*c^3*d*e^18*f^9 - 12*a^3*b^3*c^2*d*e^18*f 
^9)*(2*b^3*e*f^3 - 8*a*b*c*e*f^3))/(a^3*f^9*(16*a^3*c*e^2*f^6 - 4*a^2*b^2* 
e^2*f^6)))*(2*a*c - b^2))/(4*a^2*e*f^3*(4*a*c - b^2)^(1/2)) + ((40*a^4*...